petri net - Spanisch Englisch Wörterbuch